Monitoring and Testing Based on Multi-Level Program Specifications
نویسندگان
چکیده
منابع مشابه
Testing and Monitoring Model-based Generated Program
We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the...
متن کاملA Language for Configuring Multi-level Specifications
This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A configuration is a description in the new language of how a system is constructed hierarchically from specifications of its component parts. Category theory has been used to represent the composition of specifications that share...
متن کاملTowards multi-level and modular conceptual schema specifications
The specification of the conceptual schema for a data base application is divided into levels. It is argued that, at the highest level, a direct description of the characteristics of the information kept in a data base and of the constraints governing their existence and transformation of its components characterizes what a particular data base is in a more fundamental way (hence at a higher an...
متن کاملSpecification-Based Testing for CoCasl's Modal Specifications
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an extension of the most popular and most efficient selection method widely used in the algebraic framework, called axiom unfolding, to coalgebraic specifications, using the modal logic provided by the CoCasl specificat...
متن کاملValidating Specifications for Model-Based Testing
In m odel-based testing the behavior of a system u n d er test is com pared autom atically w ith the behavior of a model. A significant fraction of issues found in testing appear to be caused by m istakes in the model. In o rd e r to ensure th a t it prescribes the desired behavior, it has to be validated by a hum an. In this w ork we describe a tool, esm V iz, to support this validation. M ode...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2020
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2020-32(6)-1